1. Computer Science Logic
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses,منطق کامپیوتری -- کنگرهها
Classification :
E-Book
,
2. Logical Foundations of Computer Science
Author: \ Sergei Artemov , Anil Nerode (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L6
2015
E-Book
,
3. Mathematical Foundations of Computer Science 2010
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگرهها,منطق کامپیوتری -- کنگرهها
Classification :
E-Book
,
4. Theoretical Aspects of Computing – ICTAC 2015
Author: \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری
Classification :
QA76
.
T46
2015
E-Book
,
